-- Copyright (c) 2024 Huawei Technologies Co., Ltd.
-- openUBMC is licensed under Mulan PSL v2.
-- You can use this software according to the terms and conditions of the Mulan PSL v2.
-- You may obtain a copy of Mulan PSL v2 at: http://license.coscl.org.cn/MulanPSL2
--
-- THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
-- EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
-- MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
-- See the Mulan PSL v2 for more details.

if ReqBody.Type == 'StopAll' and ReqBody.EventCode ~= nil then
    local err = custom_messages.UnrequiredProperty('EventCode')
    err.RelatedProperties = {'#/EventCode'}
    error(err)
end

if ReqBody.Type == 'StopAll' and ReqBody.SubjectIndex ~= nil then
    local err = custom_messages.UnrequiredProperty('SubjectIndex')
    err.RelatedProperties = {'#/SubjectIndex'}
    error(err)
end

if (ReqBody.Type == 'Assert' or ReqBody.Type == 'Deassert') and ReqBody.EventCode == nil then
    local err = base_messages.PropertyMissing('EventCode')
    err.RelatedProperties = {'#/EventCode'}
    error(err)
end

return true